#ifndef _regs_h
#define _regs_h

#include <msr.h>

unsigned int _read_cr0();
unsigned int _read_cr2();
unsigned int _read_cr3();

void _write_cr0(unsigned int);
void _write_cr3(unsigned int);

#endif
